From cf1a142b3ef665bbd61b5b8375ca6e0544c42166 Mon Sep 17 00:00:00 2001 From: Julien Grall Date: Wed, 18 Nov 2015 17:27:58 +0000 Subject: [PATCH] xen/arm: vgic-v3: Use the correct offset GICR_IGRPMODR0 The offset is 0x0D00 and not 0x0F80. Also re-order the definition to keep all the definitions ordered. Signed-off-by: Julien Grall Acked-by: Ian Campbell --- xen/include/asm-arm/gic_v3_defs.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/include/asm-arm/gic_v3_defs.h b/xen/include/asm-arm/gic_v3_defs.h index 89a354814d..34e8b0ada7 100644 --- a/xen/include/asm-arm/gic_v3_defs.h +++ b/xen/include/asm-arm/gic_v3_defs.h @@ -96,7 +96,6 @@ /* GICR for SGI's & PPI's */ #define GICR_IGROUPR0 (0x0080) -#define GICR_IGRPMODR0 (0x0F80) #define GICR_ISENABLER0 (0x0100) #define GICR_ICENABLER0 (0x0180) #define GICR_ISPENDR0 (0x0200) @@ -107,6 +106,7 @@ #define GICR_IPRIORITYR7 (0x041C) #define GICR_ICFGR0 (0x0C00) #define GICR_ICFGR1 (0x0C04) +#define GICR_IGRPMODR0 (0x0D00) #define GICR_NSACR (0x0E00) #define GICR_TYPER_PLPIS (1U << 0) -- 2.30.2